#!/usr/bin/hhvm -f
<?php

require __DIR__ . '/../Maintenance.php';

class RunHipHopServer extends Maintenance {
	function __construct() {
		parent::__construct();
	}

	function execute() {
		global $IP;

		passthru(
			'cd ' . wfEscapeShellArg( $IP ) . " && " .
			wfEscapeShellArg(
				'hhvm',
				'-c', __DIR__."/server.conf",
				'--mode=server',
				'--port=8080'
			),
			$ret
		);
		exit( $ret );
	}
}
$maintClass = RunHipHopServer::class;
require_once RUN_MAINTENANCE_IF_MAIN;
